#include<stdio.h>
int main()
{
	int a =457;
	printf("a=%5d", a);

	return 0;
}